Nuprl Definition : p-id
11,40
postcript
pdf
p-id()(
x
) == inl
x
latex
Definitions
x
.
A
(
x
)
,
inl
x
FDL editor aliases
p-id
origin
x.A(x)x.A(x)